Python program to find HCF